void init_timer_hw();
void exit_timer_hw();
